Computer systems

Results: 26232



#Item
181

From Events to Futures and Promises and back Martin Sulzmann Faculty of Computer Science and Business Information Systems Karlsruhe University of Applied Sciences Moltkestrasse 30, 76133 Karlsruhe, Germany martin.sulzman

Add to Reading List

Source URL: www.home.hs-karlsruhe.de

- Date: 2016-02-22 15:00:20
    182

    A Framework for Parameterized Design of Rule Systems Applied to Algebra Eric Butler, Emina Torlak, and Zoran Popovi´c Department of Computer Science and Engineering, University of Washington, Seattle, WAUSA {edbu

    Add to Reading List

    Source URL: www.ericbutler.net

    - Date: 2016-04-26 20:31:32
      183

      Michail G. Lagoudakis Curriculum Vitæ Associate Professor Intelligent Systems Laboratory School of Electrical and Computer Engineering

      Add to Reading List

      Source URL: www.intelligence.tuc.gr

      - Date: 2017-09-20 03:32:40
        184

        Dynamic Graph Transformation Systems? Roberto Bruni1 and Hern´an Melgratti2 1 Computer Science Department, University of Pisa, Italy. 2 IMT Lucca Institute for Advanced Studies, Italia.

        Add to Reading List

        Source URL: www.di.unipi.it

        - Date: 2006-07-05 06:24:37
          185

          Derivatives for Regular Shuffle Expressions Martin Sulzmann1 and Peter Thiemann2 1 Faculty of Computer Science and Business Information Systems Karlsruhe University of Applied Sciences

          Add to Reading List

          Source URL: www.home.hs-karlsruhe.de

          - Date: 2014-11-25 02:39:34
            186

            Programming Satan’s Computer Ross Anderson and Roger Needham Cambridge University Computer Laboratory Pembroke Street, Cambridge, England CB2 3QG Abstract. Cryptographic protocols are used in distributed systems to

            Add to Reading List

            Source URL: www.cl.cam.ac.uk

            - Date: 2006-07-26 10:17:27
              187

              TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, VOL. ?, NO. ?, R? 201? 1 Blended linear models for reduced compliant mechanical systems

              Add to Reading List

              Source URL: profs.etsmtl.ca

              - Date: 2015-06-21 13:40:25
                188

                Robert Escriva Ph.D. Candidate Received my Ph.D. from the Department of Computer Science at Cornell university, broadly studying distributed systems and large-scale infrastructure. Active community memb

                Add to Reading List

                Source URL: rescrv.net

                - Date: 2017-04-23 09:36:01
                  189

                  WCET Analysis of Probabilistic Hard Real-Time Systems ∗ Guillem Bernat Antoine Colin Stefan M. Petters Real-Time Systems Research Group Department of Computer Science

                  Add to Reading List

                  Source URL: www.rapitasystems.com

                    190

                    Schema Mapping Management in Data Exchange Systems Marcelo Arenas Department of Computer Science Pontificia Universidad Cat´ olica de Chile

                    Add to Reading List

                    Source URL: marenas.sitios.ing.uc.cl

                    - Date: 2013-04-26 05:45:31
                      UPDATE